Export credit insurance--Law and legislation